Make event_pending() architecture-specific.
authorkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Tue, 11 Apr 2006 09:40:03 +0000 (10:40 +0100)
committerkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Tue, 11 Apr 2006 09:40:03 +0000 (10:40 +0100)
commit89bbff5329afc3b05ccc14ef3cf733f35d8ea4d3
tree455dd11cd1d752ca27e018cf8dad131e74f4a198
parent5c0356ec6f4a9897bfcc9fb08418ff82e61f1cf6
Make event_pending() architecture-specific.
PowerPC needs this because the domain can directly modify the hardware's
"interrupts enabled" bit, and we don't want to patch Linux to replace
all those accesses to use evtchn_upcall_mask instead.

Signed-off-by: Hollis Blanchard <hollisb@us.ibm.com>
xen/include/asm-ia64/event.h
xen/include/asm-x86/event.h
xen/include/xen/event.h